Nuprl Definition : es-acttype
0,22
postcript
pdf
acttype(
e
) == es-V(
es
)(loc(
e
),act(
e
))
latex
clarification:
es-acttype(
es
;
e
) == es-V(
es
)(es-loc(
es
;
e
),es-act(
es
;
e
))
latex
Definitions
f
(
a
)
,
es-V(
es
)
,
loc(
e
)
,
act(
e
)
FDL editor aliases
es-acttype
origin